Inputs, Outputs, and Composition in the Logic of Information Flows

The logic of information flows (LIF) is a general framework in which tasks procedural nature can be modeled declarative, logic-based fashion. first contribution this article to propose semantic and syntactic definitions inputs outputs LIF expressions. We study how the two relate show that our definition optimal sense made precise. second systematic expressive power sequential composition LIF. Our results on tie first-order (FO) bounded-variable bounded- variable FO. This extended version paper presented at KR 2020 [ 2 ].